<?php unset($_SESSION['counter']); ?>
<?php // Destroy the currently active session. session_destroy(); ?>